in logic, truth (T or 1) or falsity (F or 0) of a given proposition or statement. Logical connectives, such as disjunction (symbolized , for "or") and negation (symbolized ~), can be thought of as truth-functions, because the truth-value of a compound proposition is a function of, or a quantity dependent upon, the truth-values of its component parts